1. Advanced R
پدیدآورنده : Hadley Wickham.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
رده :
QA276
.
45
.
R3
H335
2019
2. Algorithms and architectures for parallel processing
پدیدآورنده : Yang Xiang...[et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses,Parallel processing (Electronic computers)-- Mathematics, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
I58
2012eb
3. Algorithms and complexity ; new directions and recet results
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976
4. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
پدیدآورنده : edited by J. F. Traub
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
5. An Introduction to computational science and mathematics
پدیدآورنده : Charles Van Loan
موضوع : Computer science - Mathematics,Electronic digital computers--Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. An introduction to programming with specifications : a mathematical approach
پدیدآورنده : Kubiak, Ryszard
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
K82
1991
7. Applications of generalized nets
پدیدآورنده : editor, Krassimir T. Atanassov
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming , Nets )Mathematics(
رده :
QA
76
.
6
.
A655
1993
8. Applications of process algebra
پدیدآورنده : edited by J.C.M. Baeten
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
رده :
QA
267
.
A67
2004
9. Applied mathematics and parallel computing :
پدیدآورنده : Herbert Fischer, Bruno Riedmüller, Stefan Schäffler (editors).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics -- Data processing.,Optimierung -- Parallelverarbeitung -- Aufsatzsammlung.,Parallel processing (Electronic computers)
رده :
QA76
.
95
H473
1996
10. Applied mathematics and parallel computing: Festschrift for Klaus Ritter
پدیدآورنده : Herbert Fischer, Bruno Riedmuller, Stefan Schaffler, ]editors[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Mathematics,، Parallel processing )Electronic computers(
رده :
QA
76
.
95
.
A664
1996
11. Array grammars, patterns and recognizers
پدیدآورنده : editor P.S.P. Wang
کتابخانه: (طهران)
موضوع : Computer science - Mathematics , Pattern recognition systems , Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
M35
A77
1989
12. Calculating with Fortran
پدیدآورنده : Manifold, George O.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
73
.
F25
.
M35
13. Categories, types, and structures
پدیدآورنده : / Andrea Asperti, Giuseppe Longo
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
14. Categories, types, and structures
پدیدآورنده : / Andrea Asperti, Giuseppe Longo
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
15. Categories, types, and structures : an introduction to category theory for the working computer scientist
پدیدآورنده : Asperti, Andrea
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Categories )Mathematics(
رده :
QA
76
.
7
.
A76
1991
16. Category theory and computer science
پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C388
76
.
6
1987
17. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Electronic digital computers -- Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
6
.
C3882
1989
18. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
389
19. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings
پدیدآورنده : D.H. Pitt ... )et al.( )ed.(
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses
رده :
QA
.
C3882
76
.
6
1989
20. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings
پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses
رده :
QA
76
.
6
.
B53
1995
